<?php
  echo   $num=rand(1111,9999);
 ?>
